Formuła :D
Bambo: Zakładając, że zmienna x nie jest wolna w formule B , udowodnić.
∀x( A→B)→(∃x A→B)
27 lut 22:57
Jack:
Zamiast A będę pisał Fx, ponieważ x jest wolna w A.
1. ∀x (Fx→B) zał.
1.1. ∃x Fx zał. dod.
1.2. Fa O∃: 1.1
1.3. Fa → B O∀: 1
1.4 B RO: 1.2; 1.3
2. ∃x Fx → B DC: 1.1 |− 1.4
□
27 lut 23:38
Bambo: Dziękuje
28 lut 00:03
Jack:
jaki kierunek studiujesz?
28 lut 00:03